26th International Conference on Rewriting Techniques and Applications (RTA'15)

Higher-Order Rewriting

Note: This paper will appear in the proceedings of the 10th international conference on rewriting techniques and applications (RTA'99). c Springer Verlag.

An On-line Problem Database

The RTA list of open problems was created in 1991 by Jean-Pierre Jouannaud, Jan Willem Klop, and the rst author [19] on the occasion of the Fourth International Conference on Rewriting Techniques and Applications (RTA). Updated lists have since been published at RTA '93 [20] and RTA '95 [21]. Bending to these electronic times, we have recently placed a combined list on the world-wide web at htt...

An On - line Problem

Preface The RTA list of open problems was created in 1991 by Jean-Pierre Jouannaud, Jan Willem Klop, and the rst author 21] on the occasion of the Fourth International Conference on Rewriting Techniques and Applications (RTA). Updated lists have since been published at RTA '93 22] and RTA '95 23]. Bending to these electronic times, we have recently placed a combined list on the worldwide web at...

Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

24 th International Conference on Rewriting Techniques and Applications

Logical Model Checking of Infinite-State Systems Using Narrowing Kyungmin Bae, Santiago Escobar, and José Meseguer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Compression of Rewriting Systems for Termination Analysis Alexander Bau, Markus Lohrey, Eric Nöth, and Johannes Waldmann . . . . . . . . . . . . 97 A Variant of Higher-Order Anti-Unification Alexander Baumgartner, Temur Kut...